Relation lifting, a survey
نویسندگان
چکیده
We survey work in category theory and coalgebra on how to extend a functor from maps to relations. This relation lifting has a universal property, which is presented in some detail and guides us to generalisations to monotone and many-valued relations. As applications, it is shown how different notions of bisimulation, simulation and modal logics do arise.
منابع مشابه
A Survey lifting the cylindrical things and comparing them with the NIOSH lifting index
Background and Objectives: This study focused on lifting drill rods. Drilling is a repetitive and heavy mining operation with a high incidence and severity of musculoskeletal injuries. The purpose of this study was to examine how to lift a vertical drill bit (1.61m and 35kg in height) using two types of rod height and four feet positions, and finally compare them with the Lifting Index (LI). M...
متن کاملPredicate and Relation Lifting for Parametric Algebraic Specifications
Relation lifting [6] extends an endofunctor F : C //C to a functor Rel(F ) : Rel(C) //Rel(C), where Rel(C) is a suitable category of relations over C. The relation lifting for the functor F can be used to define the notion of bisimulation for coalgebras X //F (X). The related notion of predicate lifting can be used to define invariants for F–coalgebras. Predicate and relation lifting can be dir...
متن کامل[Leisure-time physical activities among adults in Florianopolis, state of Santa Catarina, Brazil: a population-based study on the characteristics of the practices and the practitioners].
The study established characteristics of practices and practitioners of leisure-time physical activities among adults in Florianopolis, Brazil. It was a population-based, cross-sectional survey conducted between September 2009 and January 2010. Leisure-time physical activity was assessed using a validated questionnaire. Walking and weight lifting were the most frequently reported activities. Vi...
متن کاملLogical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We show that several existing proposals for lifting relations can be reconciled to be different presentations of essentially the same lifting operation. More interestingly, this lifting operation nicely corresponds to the ...
متن کاملLax Extensions of Coalgebra Functors
We discuss the use of relation lifting in the theory of setbased coalgebra. On the one hand we prove that the neighborhood functor does not extend to a relation lifting of which the associated notion of bisimilarity coincides with behavorial equivalence. On the other hand we argue that relation liftings may be of use for many other functors that do not preserve weak pullbacks, such as the monot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Meth. Program.
دوره 85 شماره
صفحات -
تاریخ انتشار 2016